Formal Validation of HCI User Tasks
نویسندگان
چکیده
Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design and validation activities. This paper shows how the B formal technique can be used for user tasks modelling and validation. A trace based semantics is used to describe either the HCI or the user tasks. Each task is modelled by a sequence of fired events. Each event is defined in the abstract specification and design of the HCI system.
منابع مشابه
Formal Validation of Java/Swing User Interfaces with the Event B Method
User Interface (UI) systems are increasingly complex and nowadays assist critical activities. The development of UIs needs empowered validation methodologies in order to ensure the correctness of the developed UI-based applications. This paper investigates the applicability of reverse engineering and formal approaches to the validation of UIs correctness. The approach is the following. An user ...
متن کاملAnalysis of users’ query reformulation behavior in Web with regard to Wholis-tic/analytic cognitive styles, Web experience, and search task type
Background and Aim: The basic aim of the present study is to investigate users’ query reformulation behavior with regard to wholistic-analytic cognitive styles, search task type, and experience variables in using the Web. Method: This study is an applied research using survey method. A total of 321 search queries were submitted by 44 users. Data collection tools were Riding’s Cognitive Style A...
متن کاملComputer Algebra in User Interface Design Analysis
Computer algebra systems can do impressive mathematics that can help enormously in certain areas of formal HCI. This paper shows the ability to generate formal specifications, explore and generate theorems relevant to HCI needs, and how to do this automatically and reliably from existing, straight-forwardly programmed runnable systems. Conventional iterative design can modify these implementati...
متن کاملAn Approach to Generating Human-Computer Interfaces from Task Models
Human-computer interaction (HCI) can often occur in situations unanticipated by designers. As such, usability may not always be maintained or human operators may not be able to achieve task goals. This can result in poor system adoption, decreased productivity, and unsafe operating conditions. Formal methods can be used prove properties about different elements of HCI. Unfortunately, these meth...
متن کاملSoftware Documentation with Animated Agents
We show how a formal model of interaction can be employed to generate documentation on how to use an application, in the form of an Animated Agent. The formal model we employ is XDM (Context-Sensitive Dialog Modeling), an extension of Coloured Petri Nets that enables representing user-adapted interfaces, simulating their behaviour in different contexts and making semaiutomatic pre-empirical eva...
متن کامل